Initial Algebra Semantics for Cyclic Sharing Structures
نویسنده
چکیده
syntax Set ADJ 1975 S-sorted abstract syntax Set Robinson 1994 Abstract syntax with binding SetF Fiore,Plotkin,Turi 1999 Recursive path ordring LO R. Hasegawa 2002 S-sorted 2nd-order abs. syn. (SetF↓S)S Fiore 2003 2nd-order rewriting systems PreF Hamana 2005 Explicit substitutions [Set,Set]f Ghani,Uustalu,Hamana 2006 Cyclic sharing structures (SetT ∗ )T Hamana 2009
منابع مشابه
Initial Algebra Semantics for Cyclic Sharing Tree Structures
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural induction and structural recursion. However, for graphs or ”tree-like” structures – trees involving cycles and sharing – it remains unclear what kind of inductive s...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملDeterminization of weighted finite automata over strong bimonoids
We consider weighted finite automata over strong bimonoids, where these weight structures can be considered as semirings which might lack distributivity. Then, in general, the well-known run semantics, initial algebra semantics, and transition semantics of an automaton are different. We prove an algebraic characterization for the initial algebra semantics in terms of stable finitely generated s...
متن کاملFatigue Life Prediction of Rivet Joints
Strength reduction in structures like an aircraft could be resulted as cyclic loads over a period of time and is an important factor for structural life prediction. Service loads are emphasized at the regions of stress concentration, mostly at the connection of components. The initial flaw prompting the service life was expected by using the Equivalent Initial Flaw Size (EIFS) which has been re...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کامل